Peter R. Hearn: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Is the state-trait anxiety inventory multidimensional?

Vagg, Peter R., Spielberger, Charles D., O'Hearn, Thomas P.

Journal:

Personality and Individual Differences

Year:

1980

Language:

english

File:

PDF, 802 KB

english, 1980

2

Separation Logic Semantics for Communicating Processes

Tony Hoare, Peter O'Hearn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 382 KB

english, 2008

3

Deaf Epistemology: Deafhood and Deafness

Peter C. Hauser,, Amanda O’Hearn,, Michael McKee,, Anne Steider,, Denise Thew,

Journal:

American Annals of the Deaf

Year:

2010

Language:

english

File:

PDF, 306 KB

english, 2010

4

[IEEE 2011 IEEE International Solid- State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2011.02.20-2011.02.24)] 2011 IEEE International Solid-State Circuits Conference - Analog-DFE-based 16Gb/s SerDes in 40nm CMOS that operates across 34dB loss channels at Nyquist with a baud rate CDR and 1.2Vpp voltage-mode driver

Joy, Andrew K., Mair, Hugh, Lee, Hae-Chang, Feldman, Arnold, Portmann, Clemenz, Bulman, Neil, Crespo, Eugenia Cordero, Hearne, Peter, Huang, Patty, Kerr, Ben, Khandelwal, Pulkit, Kuhlmann, Franz, Lyto

Year:

2011

Language:

english

File:

PDF, 1.24 MB

english, 2011

5

BI as an assertion language for mutable data structures

Ishtiaq, Samin, O'Hearn, Peter W.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 556 KB

english, 2011

6

Scaling static analyses at Facebook

Distefano, Dino, Fähndrich, Manuel, Logozzo, Francesco, O'Hearn, Peter W.

Journal:

Communications of the ACM

Year:

2019

Language:

english

File:

PDF, 5.94 MB

english, 2019

7

Using communicative ecology theory to scope the emerging role of social media in the evolution of urban food systems

Hearn, Greg, Collie, Natalie, Lyle, Peter, Choi, Jaz Hee-Jeong, Foth, Marcus

Journal:

Year:

2014

Language:

english

File:

PDF, 570 KB

english, 2014

8

Fate of haem iron in the malaria parasite Plasmodium falciparum

EGAN, Timothy J., COMBRINCK, Jill M., EGAN, Joanne, HEARNE, Giovanni R., MARQUES, Helder M., NTENTENI, Skhumbuzo, SEWELL, B. Trevor, SMITH, Peter J., TAYLOR, Dale, van SCHALKWYK, Donelly A., WALDEN, J

Journal:

Biochemical Journal

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

9

Graphical models of separation logic

Ian Wehrman, C.A.R. Hoare, Peter W. O'Hearn

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 141 KB

english, 2009

10

Coping with climate variability and climate change in La Ceiba, Honduras

Joel B. Smith, Kenneth M. Strzepek, Julio Cardini, Mario Castaneda, Julie Holland, Carlos Quiroz, Tom M. L. Wigley, Jose Herrero, Peter Hearne, John Furlow

Journal:

Climatic Change

Year:

2011

Language:

english

File:

PDF, 668 KB

english, 2011

11

The Ensemble Properties of Comets: Results from Narrowband Photometry of 85 Comets, 1976-1992

Michael F. A'Hearn, Robert C. Millis, David O. Schleicher, David J. Osip, Peter V. Birch

Journal:

Year:

1995

File:

PDF, 2.54 MB

1995

12

Linear Continuation-Passing

Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 168 KB

english, 2002

13

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - From Categorical Logic to Facebook Engineering

Year:

2015

Language:

english

File:

PDF, 162 KB

english, 2015

14

Polymorphism, objects and abstract types

O'Hearn, Peter W.

Journal:

ACM SIGACT News

Year:

1998

Language:

english

File:

PDF, 754 KB

english, 1998

15

Whale Shark (Rhincodon typus) Seasonal Presence, Residence Time and Habitat Use at Darwin Island, Galapagos Marine Reserve

Acuña-Marrero, David, Jiménez, Jesús, Smith, Franz, Doherty, Paul F., Hearn, Alex, Green, Jonathan R., Paredes-Jarrín, Jules, Salinas-de-León, Pelayo, Klimley, A. Peter

Journal:

Year:

2014

Language:

english

File:

PDF, 1.30 MB

english, 2014

16

Stigma and irritable bowel syndrome: a taboo subject?

Hearn, Mark, Whorwell, Peter J, Vasant, Dipesh H

Journal:

The Lancet Gastroenterology & Hepatology

Year:

2020

File:

PDF, 221 KB

2020

17

Comet Geology with Deep Impact Remote Sensing

Peter C. Thomas, Joseph Veverka, Michael F. A’Hearn, Lucy Mcfadden, Michael J. S. Belton, Jessica M. Sunshine

Journal:

Space Science Reviews

Year:

2005

Language:

english

File:

PDF, 156 KB

english, 2005

18

Molecular architecture and biorecognition processes of the cystine knot protein superfamily: part I. The glycoprotein hormones

Milton T. W. Hearn, Peter T. Gomme

Journal:

Journal of Molecular Recognition

Year:

2000

Language:

english

File:

PDF, 1.10 MB

english, 2000

19

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra

O'Hearn, Peter W., Petersen, Rasmus L., Villard, Jules, Hussain, Akbar

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 524 KB

english, 2015

20

High-performance liquid affinity chromatography with phenylboronic acid, benzamidine, tri-l-alanine, and concanavalin A immobilized on 3-isothiocyanatopropyltriethoxysilane-activated nonporous monodisperse silicas

F. Birger Anspach, Hans-Ju¨rgen Wirth, Klaus K. Unger, Peter Stanton, Jeffrey R. Davies, Milton T.W. Hearn

Journal:

Analytical Biochemistry

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

21

Hotspots within hotspots? Hammerhead shark movements around Wolf Island, Galapagos Marine Reserve

Alex Hearn, James Ketchum, A. Peter Klimley, Eduardo Espinoza, Cesar Peñaherrera

Journal:

Year:

2010

Language:

english

File:

PDF, 849 KB

english, 2010

22

Cause of in-hospital death in 12,232 consecutive patients undergoing percutaneous transluminal coronary angioplasty

David J. Malenka, Daniel O’Rourke, Mark A. Miller, Michael J. Hearne, Samuel Shubrooks, Mirle A. Kellett Jr, John F. Robb, John R. O’Meara, Peter VerLee, William A. Bradley, David Wennberg, Thomas Rya

Journal:

American Heart Journal

Year:

1999

Language:

english

File:

PDF, 180 KB

english, 1999

23

Nonadiabatic Simulations of Exciton Dissociation in Poly- p -phenylenevinylene Oligomers

Bedard-Hearn, Michael J., Sterpone, Fabio, Rossky, Peter J.

Journal:

Journal of Physical Chemistry A

Year:

2010

Language:

english

File:

PDF, 2.79 MB

english, 2010

24

Development of a high ratio isotope dilution mass spectrometry calibration technique for chemical metrology

Hearn, Ruth, Evans, Peter, Sargent, Mike

Journal:

Journal of Analytical Atomic Spectrometry

Year:

2005

Language:

english

File:

PDF, 549 KB

english, 2005

25

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Local Action and Abstract Separation Logic

Calcagno, Cristiano, O'Hearn, Peter W., Yang, Hongseok

Year:

2007

Language:

english

File:

PDF, 274 KB

english, 2007

26

Book reviews

Liston, Carol, Kerr, Joan, Zainu'ddin, Ailsa Thomson, Miller, Pavla, Smith, Philippa Mein, Hamilton, Paula, May, Andrew, O'Hearn, D.J., Cameron, J.M.R., Carment, David, Smith, Babette, Chapman, Peter,

Journal:

Australian Historical Studies

Year:

1991

Language:

english

File:

PDF, 2.15 MB

english, 1991

27

[ACM Press the 6th international symposium - Montreal, Quebec, Canada (2007.10.21-2007.10.22)] Proceedings of the 6th international symposium on Memory management - ISMM '07 - Separation logic and concurrent resource management

Year:

2007

Language:

english

File:

PDF, 113 KB

english, 2007

28

Reduction of thrombus formation without inhibiting coagulation factors does not inhibit intimal hyperplasia after balloon injury in pig coronary arteries

Liu, Ming Wei, Hearn, James A., Luo, Jian Fang, Anderson, Peter G., Roubin, Gary S., Iyer, Sriram, Bilodou, Luc

Journal:

Coronary Artery Disease

Year:

1996

File:

PDF, 379 KB

1996

29

[ASME ASME 2009 28th International Conference on Ocean, Offshore and Arctic Engineering - Honolulu, Hawaii, USA (May 31–June 5, 2009)] Volume 4: Ocean Engineering; Ocean Renewable Energy; Ocean Space Utilization, Parts A and B - Thruster Interactions on Autonomous Underwater Vehicles

Palmer, Alistair R., Hearn, Grant E., Stevenson, Peter

Year:

2009

Language:

english

File:

PDF, 537 KB

english, 2009

30

Risk of Cardiovascular Disease Related to Smoking Is Greater Among Women With Sleep-Disordered Breathing

Donovan, Lucas M., Feemster, Laura C., Billings, Martha E., Spece, Laura J., Griffith, Matthew F., Rise, Peter J., Parsons, Elizabeth C., Palen, Brian N., O'Hearn, Daniel J., Redline, Susan, Au, David

Journal:

Journal of Clinical Sleep Medicine

Year:

2018

File:

PDF, 623 KB

2018

31

Comet Encke: Gas production and lightcurve

Michael F. A'Hearn, Peter V. Birch, Paul D. Feldman, Robert L. Millis

Journal:

Year:

1985

Language:

english

File:

PDF, 695 KB

english, 1985

32

Use of synthetic peptides to delineate discontinuous sequence regions involved in epitope sites of the thyrotropin β-subunit

Peter T. Gomme, Philip E. Thompson, James Whisstock, Peter G. Stanton, Milton T. W. Hearn

Journal:

International Journal of Peptide Research and Therapeutics

Year:

1999

Language:

english

File:

PDF, 722 KB

english, 1999

33

The internal structure of Jupiter family cometary nuclei from Deep Impact observations: The “talps” or “layered pile” model

Michael J.S. Belton, Peter Thomas, J. Veverka, Peter Schultz, Michael F. A'Hearn, Lori Feaga, Tony Farnham, Olivier Groussin, Jian-Yang Li, Casey Lisse, Lucy McFadden, Jessica Sunshine, Karen J. Meech

Journal:

Year:

2007

Language:

english

File:

PDF, 1.08 MB

english, 2007

34

Diagnosing coronary arterial stent thrombosis and arterial closure

Steven E Hearne, Peter B Amsterdam, William A Baker, Steven R Sawchak, Harry R Phillips, Michael H Sketch Jr., James P Zidar

Journal:

The American Journal of Cardiology

Year:

1998

Language:

english

File:

PDF, 56 KB

english, 1998

35

[ACM Press the 28th ACM SIGPLAN-SIGACT symposium - London, United Kingdom (2001..-..)] Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 - BI as an assertion language for mutable data structures

Ishtiaq, Samin S., O'Hearn, Peter W.

Year:

2001

Language:

english

File:

PDF, 281 KB

english, 2001

36

Modelling Tunnel Thrusters for Autonomous Underwater Vehicles

Palmer, Alistair, Hearn, Grant E., Stevenson, Peter

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 268 KB

english, 2008

37

RacerD: compositional static race detection

Blackshear, Sam, Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 516 KB

english, 2018

38

Mismatch-CRISPRi Reveals the Co-varying Expression-Fitness Relationships of Essential Genes in Escherichia coli and Bacillus subtilis

Hawkins, John S., Silvis, Melanie R., Koo, Byoung-Mo, Peters, Jason M., Osadnik, Hendrik, Jost, Marco, Hearne, Cameron C., Weissman, Jonathan S., Todor, Horia, Gross, Carol A.

Journal:

Year:

2020

File:

PDF, 14.84 MB

2020

39

HIV prevalence at reception into Australian prisons, 1991â1997

McDonald, Ann M, Kaldor, John M, Ryan, James W, Brown, Phillip R, Manners, Chris J, Falconer, Anthony D, Kinnear, Raylee C, Harvey, William J, Hearne, Peter R, Banaszczyk, Mick

Journal:

The Medical Journal of Australia

Year:

1999

File:

PDF, 620 KB

1999

40

Deep Impact photometry of Comet 9P/Tempel 1

Jian-Yang Li, Michael F. A'Hearn, Michael J.S. Belton, Christopher J. Crockett, Tony L. Farnham, Carey M. Lisse, Lucy A. McFadden, Karen J. Meech, Jessica M. Sunshine, Peter C. Thomas, Joe Veverka

Journal:

Year:

2007

Language:

english

File:

PDF, 1.16 MB

english, 2007

41

The distribution of water ice in the interior of Comet Tempel 1

Jessica M. Sunshine, Olivier Groussin, Peter H. Schultz, Michael F. A'Hearn, Lori M. Feaga, Tony L. Farnham, Kenneth P. Klaasen

Journal:

Year:

2007

Language:

english

File:

PDF, 1.12 MB

english, 2007

42

Cyanogen jets in comet Halley

A'Hearn, Michael F., Hoban, Susan, Birch, Peter V., Bowers, Craig, Martin, Ralph, Klinglesmith, Daniel A.

Journal:

Year:

1986

File:

PDF, 394 KB

1986

43

BI as an assertion language for mutable data structures

Ishtiaq, Samin S., O'Hearn, Peter W.

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 281 KB

english, 2001

44

Letters

M. F. Hearn and Peter Draper

Journal:

Journal of the Society of Architectural Historians

Year:

1998

Language:

english

File:

PDF, 627 KB

english, 1998

45

The Relevance of Network Computing Concepts in the Geophysical Workstation Environment

Hearn, Steve, Astill, Cameron, Davies, Peter

Journal:

Exploration Geophysics

Year:

1988

File:

PDF, 358 KB

1988

46

Esophageal varices in association with unilateral pulmonary vein atresia

J. Kevin Harrison, Steven E. Hearne, William A. Baker, Peter Van Trigt, Gil Leidig, Thomas M. Bashore, Martin P. O'Laughlin

Journal:

Catheterization and Cardiovascular Interventions

Year:

1996

Language:

english

File:

PDF, 570 KB

english, 1996

47

The cyanide hydratase enzyme of Fusarium lateritium also has nitrilase activity

Linda M Nolan, Padraigin A Harnedy, Peter Turner, Audrey B Hearne, Catherine O’Reilly

Journal:

FEMS Microbiology Letters

Year:

2003

Language:

english

File:

PDF, 198 KB

english, 2003

48

Mechanics of an Anatomical Reconstruction for the Thumb Metacarpophalangeal Collateral Ligaments

Carlson, Michelle Gerwin, Warner, Kristin K., Meyers, Kathleen N., Hearns, Krystle A., Kok, Peter L.

Journal:

The Journal of Hand Surgery: British & European Volume

Year:

2013

Language:

english

File:

PDF, 744 KB

english, 2013

49

The Potent Oxidant Anticancer Activity of Organoiridium Catalysts

Liu, Zhe, Romero-Canelón, Isolda, Qamar, Bushra, Hearn, Jessica M., Habtemariam, Abraha, Barry, Nicolas P. E., Pizarro, Ana M., Clarkson, Guy J., Sadler, Peter J.

Journal:

Angewandte Chemie

Year:

2014

Language:

english

File:

PDF, 1.43 MB

english, 2014

50

Metal dimers as catalysts: IX. The catalysed reaction between [η5-C5H5)Fe(CO)2I] and group 15 donor ligands

Neil J. Coville, Elisabeth A. Darling, Andrew W. Hearn, Peter Johnston

Journal:

Journal of Organometallic Chemistry

Year:

1987

Language:

english

File:

PDF, 872 KB

english, 1987

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски